Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law

Rechtslogica Op het gebied van de formele modellering van juridisch redeneren, kortweg de rechtslogica, is in het afgelopen decennium veel onderzoek verricht. Steeds meer wordt erkend dat logica meer te bieden heeft voor de analyse en evaluatie van juridisch redeneren dan alleen het juiste gebruik van de klassieke logische connectieven, zoals 'als ..., dan ...' en '... of ...'. In het bijzonder het redeneren met uitzonderingen, conflicten en toepasselijkheid, maar al te gewoon in het recht, blijken vatbaar voor formele analyse met moderne logische technieken. In 1993 kreeg het rechtslogicaonderzoek, dat nog in de kinderschoenen stond, een stevige impuls door het verschijnen van Prakken's proefschrift, getiteld 'Logical Tools for Modelling Legal Argument'. Het proefschrift werd dadelijk goed ontvangen: Prakken promoveerde met lof en zijn werk kreeg terecht brede erkenning onder vakgenoten. Onlangs verscheen een herziene versie in Kluwer's Law and Philosophy Library. In het boek worden de logische aspecten van juridisch redeneren onderzocht. Met name aan de weerlegbaarheid (Eng. defeasibility) van juridisch redeneren wordt aandacht besteed. De niet-monotone logica's, zoals die in de kunstmatige intelligentie zijn ontwikkeld, vormen een belangrijke inspiratiebron. De nieuwe versie van het boek bevat een aangepast formalisme (dat Prakken in de afgelopen jaren heeft ontwikkeld in samenwerking met Giovanni Sartor) en een bijgewerkte en uitgebreide bespreking van verwant onderzoek.